formal design specification meaning in Chinese
形式设计说明
Examples
- These methods begin with the formal design specifications given by the designer and then derive the top design codes by using refinement calculus laws
所谓形式化方法，就是利用严格的数学方法，从给出系统设计的规范( specifications )开始并逐步地推导或者验证系统的方法。